例句與造句

1. The " heuristic " approach of the Logic Theory Machine tried to emulate human mathematicians, and could not guarantee that a proof could be found for every valid theorem even in principle.
2. More ambitious was the Logic Theory Machine, a deduction system for the propositional logic of the " Principia Mathematica ", developed by Allen Newell, Herbert A . Simon and J . C . Shaw.
3. Also running on a JOHNNIAC, the Logic Theory Machine constructed proofs from a small set of propositional axioms and three deduction rules : modus ponens, ( propositional ) variable substitution, and the replacement of formulas by their definition.
4. It's difficult to find logic theory machine in a sentence. 用logic theory machine造句挺難的